Open peer commentary on the article “Info-computational Constructivism and Cognition” by Gordana Dodig-Crnkovic. Upshot: I propose a mathematical approach to the framework developed in Dodig-Crnkovic’s target article. It points to an important property of natural computation, called the multiplicity principle (MP), which allows the development of increasingly complex cognitive processes and knowledge. While local dynamics are classically computable, a consequence of the MP is that the global dynamics is not, thus raising the problem of developing more elaborate computations, perhaps with (...) the help of Turing oracles. (shrink)

Robert Rosen has proposed several characteristics to distinguish “simple” physical systems (or “mechanisms”) from “complex” systems, such as living systems, which he calls “organisms”. The Memory Evolutive Systems (MES) introduced by the authors in preceding papers are shown to provide a mathematical model, based on category theory, which satisfies his characteristics of organisms, in particular the merger of the Aristotelian causes. Moreover they identify the condition for the emergence of objects and systems of increasing complexity. As an application, the cognitive (...) system of an animal is modeled by the “MES of cat-neurons” obtained by successive complexifications of his neural system, in which the emergence of higher order cognitive processes gives support to Mario Bunge’s “emergentist monism.”. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

Perhaps the most distinct question in science throughout the ages has been the one of perceivable reality, treated both in physics and philosophy. Reality is acting upon us, and we, and life in general, are acting upon reality. Potentiality, found both in quantum reality and in the activity of life, plays a key role. In quantum reality observation turns potentiality into reality. Again, life computes possibilities in various ways based on past actions, and acts on the basis of these computations. (...) This book is about a new approach to biology. Its subtitle suggests a perpetual movement and interplay between two elusive aspects of modern science — reality/matter and potentiality/mind, between physics and biology — both captured and triggered by mathematics — to understand and explain emergence, development and life all the way up to consciousness. But what is the real/potential difference between living and non-living matter? How does time in potentiality differ from time in reality? What we need to understand these differences is an integrative approach. This book contemplates how to encircle life to obtain a formal system, equivalent to the ones in physics. Integral Biomathics attempts to explore the interplay between reality and potentiality. (shrink)

Ludwig Wittgenstein (1889-1951) was an extraordinarily original thinker, whose influence on twentieth-century thinking far outside the bounds of philosophy alone. In this engaging Introduction, A.C. Grayling makes Wittgenstein's thought accessible to the general reader by explaining the nature and impact of Wittgenstein's views. He describes both his early and later philosophy, the differences and connections between them, and gives a fresh assessment of Wittgenstein's continuing influence on contemporary thought.

Philosopher Roger Scruton offers a wide-ranging perspective on philosophy, from logic to aesthetics, written in a lively and engaging way that is sure to stimulate debate. Rather than producing a survey of an academic discipline, Scruton reclaims philosophy for worldly concerns.

Bertrand Russell (1872-1970) is one of the most famous and important philosophers of the twentieth century. In this account of his life and work A.C. Grayling introduces both his technical contributions to logic and philosophy, and his wide-ranging views on education, politics, war, andsexual morality. Russell is credited with being one of the prime movers of Analytic Philosophy, and with having played a part in the revolution in social attitudes witnessed throughout the twentieth-century world. This introduction gives a clear survey (...) of Russell's achievements across their wholerange. (shrink)

The 1981 Dahlem conference was a catalyst for contemporary evolutionary developmental biology (Evo-devo). This introductory chapter rehearses some of the details of the history surrounding the original conference and its associated edited volume, explicates the philosophical problem of conceptual change that provided the rationale for a workshop devoted to evaluating the epistemic revisions and transformations that occurred in the interim, explores conceptual change with respect to the concept of evolutionary novelty, and highlights some of the themes and patterns in the (...) different contributions to the present volume, Conceptual Change in Biology: Scientific and Philosophical Perspectives on Evolution and Development. (shrink)

'The unconsidered life is not worth living' - Socrates. Thinking about life, what it means and what it holds in store does not have to be a despondent experience, but rather can be enlightening and uplifting. A life truly worth living is one that is informed and considered so a degree of philosophical insight into the inevitabilities of the human condition is inherently important and such an approach will help us to deal with real personal dilemmas. This book is an (...) accessible, lively and thought-provoking series of linked commentaries, based on A. C. Grayling's 'The Last Word' column in the Guardian. Its aim is not to persuade readers to accept one particular philosophical point of view or theory, but to help us consider the wonderful range of insights which can be drawn from an immeasurably rich history of philosophical thought. Concepts covered include courage, love, betrayal, ambition, cruelty, wisdom, passion, beauty and death. This will be a wonderfully stimulating read and act as an invaluable guide as to what is truly important in living life, whether facing success, failure, justice, wrong, love, loss or any of the other profound experience life throws out. (shrink)

In this benchmark five-volume study, originally published between 1922 and 1955, Surendranath Dasgupta examines the principal schools of thought that define Indian philosophy. A unifying force greater than art, literature, religion, or science, Professor Dasgupta describes philosophy as the most important achievement of Indian thought, arguing that an understanding of its history is necessary to appreciate the significance and potentialities of India's complex culture. Volume I offers an examination of the Vedas and the Brahmanas, the earlier Upanisads, and the six (...) systems of Indian philosophy. (shrink)

"A distinctive voice somewhere between Mark Twain and Michel Montaigne" is how Psychology Today described A.C. Grayling. In Life, Sex, and Ideas: The Good Life Without God, readers have the pleasure of hearing this distinctive voice address some of the most serious topics in philosophy--and in our daily lives--including reflections on guns, anger, conflict, war; monsters, madness, decay; liberty, justice, utopia; suicide, loss, and remembrance. A civilized society, says Grayling, is one which never ceases having a discussion with itself about (...) what human life should best be. In this book, Grayling adds to this discussion a series of short informal essays about ethics, ideas, and culture. A recurring theme is religion, of which he writes "there is no greater social evil." He argues, for instance, that liberal education is better than religion for inculcating moral values. "Education in literature, history, and appreciation of the arts," he says, "opens the possibility for us to live more reflectively and knowledgeably, especially about the nature and variety of human experience. That in turn increases our capacity for understanding others better, so that we can treat them with respect and sympathy, however different their outlook on life." Thought provoking rather than definitive, these essays don't tell readers what to think, but only note what has been thought about how it is best to live. A person who does not think about life, the author reminds us, is like a stranger mapless in a foreign land. These brief and suggestive essays offer us the outlines of a map, with avenues of thought that are a pleasure to wander down. (shrink)

A traditional approach to teaching medical ethics aims to provide knowledge about ethics. This is in line with an epistemological view on ethics in which moral expertise is assumed to be located in theoretical knowledge and not in the moral experience of healthcare professionals. The aim of this paper is to present an alternative, contextual approach to teaching ethics, which is grounded in a pragmatic-hermeneutical and dialogical ethics. This approach is called moral case deliberation. Within moral case deliberation, healthcare professionals (...) bring in their actual moral questions during a structured dialogue. The ethicist facilitates the learning process by using various conversation methods in order to find answers to the case and to develop moral competencies. The case deliberations are not unique events, but are a structural part of the professional training on the work floor within healthcare institutions. This article presents the underlying theory on ethics and illustrates this approach with an example of a moral case deliberation project in a Dutch psychiatric hospital. The project was evaluated using the method of responsive evaluation. This method provided us with rich information about the implementation process and effects the research process itself also lent support to the process of implementation. (shrink)

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof?The answer is an emphatic yes, as I explain in this chapter. I argue that non-deductive justification is in fact pervasive in mathematics, and that it is in (...) good epistemic standing. (shrink)

"ACT Administrative Appeals Tribunal Decisions." Ethos: Official Publication of the Law Society of the Australian Capital Territory, (200), pp. 42.

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that it (...) is in good epistemic standing. (shrink)

This a general account of the school of Mo-tzu, its social basis as a movement of craftsmen, its isolated place in the Chinese tradition, and the nature of its later contributions to logic, ethics, and science. It assesses the relation of Mohist thinking to the structure of the Chinese language, and grapples with the textual dynamics of later Mohist writings, particularly in regard to grammar and style, technical terminology, the use and significance of stock examples, and overall organization. Includes edited (...) and annotated Chinese text with an English translation and commentary, a glossary, and a photographic reproduction of the unemended text from the Taoist Patrology. (shrink)

Cutting across boundaries of art and science, evolution is a fundamental process that has beguiled thinkers through the ages. This collection draws together world renowned thinkers and communicators with their own intriguing insights. In these essays they offer a feast of dazzling thoughts and ideas to challenge and enthrall the reader. Why and how do civilisations and societies change over time? Why do our cells develop the way they do? Why are some villages still villages while others have grown into (...) vast cities? Can we learn from our evolutionary past to plan a better future for our health and society? Tracing a line from the history of biological evolution, through the evolution of cultures, society, science and the universe, Evolution brings together intriguing parallels from all levels of life. From the evolution of the developing embryo to the evolution of a developing star, common threads develop into a fascinating story. (shrink)

_Sonoran Desert, Stuart Hameroff and Alwyn Scott awoke from their_ _siestas to take margaritas in the shade of a ramada. On a nearby_ _table, a tape recorder had accidentally been left on and the following_ _is an unedited transcript of their conversation._.

The Compactness Theorem The compactness theorem is a fundamental theorem for the model theory of classical propositional and first-order logic. As well as having importance in several areas of mathematics, such as algebra and combinatorics, it also helps to pinpoint the strength of these logics, which are the standard ones used in mathematics and arguably … Continue reading Compactness →.

In the light of increasing public mistrust, there is an urgent need to clarify the moral status of the medical profession and of the relationship of the clinician to his/her patients. In addressing this question, I first establish the coherence, within moral philosophy generally, of the concept of supererogation . I adopt the notion of an act of “unqualified” supererogation as one that is non-derivatively good, praiseworthy, and freely undertaken for others' benefit at the risk of some cost to the (...) agent. I then argue that committing oneself to the profession of clinical medicine is an act of this kind. This is the case, not because the aim of medicine is to help patients, but because of the open ended commitment of time and the vulnerability to the consequences of failure that the clinician must accept. (shrink)

Contents Acknowledgements vii Illustrations ix Preface xi Further Bibliography of A.C. Crombie xiii 1 Designed in the Mind: Western visions of Science, Nature and Humankind 1 2 The Western Experience of Scientific Objectivity 13 3 Historical Perceptions of Medieval Science 31 4 Robert Grosseteste 39 5 Roger Bacon [with J.D. North] 51 6 Infinite Power and the Laws of Nature: A Medieval Speculation 67 7 Experimental Science and the Rational Artist in Early Modern Europe 89 8 Mathematics and Platonism in (...) the Sixteenth-Century Italian Universities and in Jesuit Educational Policy 115 9 Sources of Galileo Galilei’s Early Natural Philosophy 149 10 The Jesuits and Galileo’s Ideas of Science and of Nature [with A. Carugo] 165 11 Galileo and the Art of Rhetoric [with A. Carugo] 231 12 Galileo Galilei: A Philosophical Symbol 257 13 Alexandre Koyré and Great Britain: Galileo and Mersenne 263 14 Marin Mersenne and the Origins of Language 275 15 Le Corps à la Renaissance: Theories of Perceiver and Perceived in Hearing 291 16 Expectation, Modelling and Assent in the History of Optics: i, Alhazen and the Medieval Tradition; ii, Kepler and Descartes 301 17 Contingent Expectation and Uncertain Choice: Historical Contexts of Arguments from Probabilities 357 18 P.-L. Moreau de Maupertuis, F.R.S. : Précurseur du Transformisme 407 19 The Public and Private Faces of Charles Darwin 429 20 The Language of Science 439 21 Some Historical Questions about Disease 443 22 Historians and the Scientific Revolution 451 23 The Origins of Western Science 465 Appendix to Chapter 10: 479 Sources and Dates of Galileos Writings [with A. Carugo] Pietro Redondi, Galileo eretico [with A. Carugo] Mario Biagioli, Galileo, Courtier Corrections to Science, Optics and Music in Medieval and Early Modern Thought 495 Index 497. (shrink)

Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to believe that there aredeterminate facts about the validity of arguments. Despite its evident appeal, however, logical monism must meet two challenges. The first is the challenge from logical pluralism, according to which (...) there is more than one correct logic. The second challenge is to determine which form of logicalmonism is the correct one. One True Logic is the first monograph to explicitly articulate a version of logical monism and defend it against the first challenge. It provides a critical overview of the monism vs pluralism debate and argues for the former. It also responds to the second challenge by defending a particularmonism, based on a highly infinitary logic. It breaks new ground on a number of fronts and unifies disparate discussions in the philosophical and logical literature. In particular, it generalises the Tarski-Sher criterion of logicality, provides a novel defence of this generalisation, offers a clearnew argument for the logicality of infinitary logic and replies to recent pluralist arguments. (shrink)